% 
% @(#)phoney_VectorOfCX	1.1  3/16/88
%
export _VectorOfCharObject to "Builtins"
const _VectorOfCharObject == immutable object _VectorOfCharObject
  export getSignature, create
  const voctype == type voctype
    function getElement [Integer] -> [Character]
    operation setElement [Integer, Character]
  end voctype
  function getSignature -> [r : Signature]
    r <- voctype
  end getSignature
  operation create [n : Integer]-> [r : voctype]
    r <- object aVectorOfChar
      export getElement, setElement
      function getElement [i : Integer] -> [r : Character]
	
      end getElement
      operation setElement [i : Integer, r : Character]
	
      end setElement
    end aVectorOfChar
  end create
end _VectorOfCharObject
